Parametric Sheaves for modelling Store Locality
نویسندگان
چکیده
In this paper, we bring together two important ideas in the semantics of Algol-like imperative programming languages. One is that program phrases act on xed sets of storage locations. The second is that the information of local variables is hidden from client programs. This involves combining sheaf theory and parametricity to produce new classes of sheaves. We deene the semantics of an Algol-like language using such sheaves and discuss the reasoning principles validated by the semantics.
منابع مشابه
The Role of Multisensory Environmental Stimuli in Enhancing Hyper Customers in Store Experience
In recent years, by population expansion and consequently expansion in service industries, competition has grown in retailing industry more than ever. Retailers can overcome competition in retailing industry by creating attractive, enjoyable, and even more exciting store environment. The purpose of this study is to help marketers, managers and retailers to create an enjoyable and memorable expe...
متن کاملA Parametric Study for Identification of the Variables in Tidally Affected Pond Systems (TECHNICAL NOTE)
In this paper a parametric study was undertaken to quantify the sensitivity Abstract to a wide range of coastal detention pond systems dealing with tidal influence to store surface flood water so as to produce general guidance on the importance of the catchment and pond variables. In this process a specified pond design return period was selected for which the system was to be designed. The pon...
متن کاملTemporal Topos and U-Singularities
Several papers and books by C. Isham, C.Isham-A. Doering, F. Van Oystaeyen, A. Mallios-I. Raptis, C. Mulvey, and Guts and Grinkevich, have been published on the methods of categories and sheaves to study quantum gravity. Needless to say, there are well-written treatises on quantum gravity whose methods are non-categorical and non-sheaf theoretic. This paper may be one of the first papers explai...
متن کاملSilent Stores and Store Value Locality
ÐValue locality, a recently discovered program attribute that describes the likelihood of the recurrence of previously seen program values, has been studied enthusiastically in the recent published literature. Much of the energy has focused on refining the initial efforts at predicting load instruction outcomes, with the balance of the effort examining the value locality of either all registerw...
متن کاملSketch-based Interface for 3d Parametric Modelling
In this paper we present an experimental prototype called GEGROSS (GEsture & Geometric ReconstructiOn based Sketch System). This application allows using freehand sketches to create 3D parametric models onto a Tablet-PC. The modelling process consists of two stages. First, the user introduces the geometry of the 2D section using continuous sketches composed by line segments, circles and arcs, a...
متن کامل